logic n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理性。 3. 威力,压力,强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑,恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
Difference from other algebraic structures which are introduced for some logic system , implication algebra is a abstraction of one logic connective , i . e . implicative operator , and other operators in it are all introduced by implicative operator . the main results of this paper is given as the following : 1 特别值得提出的是,与其它为研究逻辑系统而引入的代数结构不同,蕴涵代数是对一个逻辑联结词,即蕴涵算子(蕴涵逻辑联结词)抽象而得到的,其它算子均是由蕴涵算子诱导而得到。